#include<bits/stdc++.h>
using namespace std;
inline long long read(){
	long long x;
	scanf("%lld",&x);
	return x;
}
int main(){
	long long ans=0,n=ans+read(),k=ans+read();
	for(int i=1;i<=k;i++){
		if(n<i) break;
		ans+=k%i;
		//if(n<i) break;
	}
	long long tmp=0;
	printf("%lld",ans+max(n-k,tmp)*k);
}